وارسی سیستم های واکنشی بلادرنگ با استفاده از منطق زمانی مبتنی بر دیاگرام مورد مطالعه: پروتکل فیشر
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تهران - دانشکده فنی
- نویسنده محمد حاتمی رشیدی
- استاد راهنما علی معینی دارا معظمی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1387
چکیده
چکیده ندارد.
منابع مشابه
وارسی مبتنی بر دیاگرام سیستم های واکنشی ترکیبی و پارامتریک با استفاده از منطق زمانی
چکیده ندارد.
15 صفحه اولمقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure
کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...
متن کاملارائه یک سیستم دستیار راننده مبتنی بر ارتباطات بین خودرویی با استفاده از منطق فازی
در این مقاله با بهره‌گیری از امکان ارتباطات بین‌خودرویی، یک سیستم ایمنی کمک راننده براساس منطق فازی طراحی شده‌است. در این سیستم پیشنهادی، هر خودرو اطلاعاتی مانند سرعت، چگالی ودرجه تخطی راننده را از خودروهای همسایه با استفاده‌از ارتباطات بین‌خودرویی دریافت کرده وسپس با استفاده از یک سیستم فازی، ایمنی خود را سنجیده و به راننده‌پیشنهاد لازم برای ایمنی بالاتر را ارائه می‌کند. افزون بر این سیستم پیش...
متن کاملتوصیف و وارسی صوری رفتار مولفه های سیستم های بلادرنگ
درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...
یک پروتکل مسیریابی جدید مبتنی بر کیفیت سرویس برای جریان سازی ویدیو در شبکه های موردی بین خودرویی با استفاده از الگوریتم کلونی مورچگان و منطق فازی
انتقال چند مسیره یک روش انتقال مناسب برای بسته‌هایی با سرعت داده بالا مانند جریان‌سازی ویدیو می‌باشد. به منظور جریان‌سازی ویدیو با کیفیت بالا، بسته‌های ویدیویی برای انتقال از مسیرهای متفاوت به فریم‌های مختلفی تقسیم می‌شوند. با این حال، بسیاری از ویژگی‌های ذاتی شبکه‌های موردی بین خودرویی، طراحی یک پروتکل مسیریابی کارآمد و پایدار را برای کاربردهای مختلف در این شبکه‌ها دشوار می‌کند. به طور خاص، م...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران - دانشکده فنی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023